== Algorithmus == Hieraus resultiert folgender Algorithmus: == Begründung für die Korrektheit des Algorithmus == Dass der Algorithmus stets terminiert, ist offensichtlich. Die partielle Korrektheit des Algorithmus kann auf verschiedene Arten begründen. Meistens wird in der Literatur mit den Newton-Identitäten, den Eigenschaften von Determinant...